" Jones Woodcock" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Formal Methods and Hybrid Real-Time Systems

Cliff B. Jones, Zhiming Liu, Jim Woodcock

6.60 Mb

#2

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science)

Cliff B. Jones, Zhiming Liu, Jim Woodcock

7.82 Mb

#3

Theoretical Aspects of Computing - ICTAC 2007, 4 conf

Cliff B. Jones, Zhiming Liu, Jones Woodcock

Категория: CsLn_

4.29 Mb

#4

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Cliff B. Jones, Zhiming Liu, Jim Woodcock

5.37 Mb